docs: Fix gdk_display_get_core_pointer() docs

Point to gdk_device_manager_get_client_pointer(),
not gdk_display_get_client_pointer().

diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index 3b6ae836000f22b6c7df0db16759bb75c30d6b8c..dc1c5c8f041b8cb82f3af66ce0ef204e74a34992 100644 (file)
--- a/gdk/gdkdisplay.c
+++ b/gdk/gdkdisplay.c
@@ -623,7 +623,7 @@ gdk_event_send_clientmessage_toall (GdkEvent *event)
  * Return value: the core pointer device; this is owned by the
  *   display and should not be freed.
  *
- * Deprecated: 3.0: Use gdk_display_get_client_pointer() instead, or
+ * Deprecated: 3.0: Use gdk_device_manager_get_client_pointer() instead, or
  *             gdk_event_get_device() if a #GdkEvent with pointer device
  *             information is available.
  **/
@@ -644,7 +644,7 @@ gdk_device_get_core_pointer (void)
  *
  * Since: 2.2
  *
- * Deprecated: 3.0: Use gdk_display_get_client_pointer() instead, or
+ * Deprecated: 3.0: Use gdk_device_manager_get_client_pointer() instead, or
  *             gdk_event_get_device() if a #GdkEvent with device
  *             information is available.
  **/